Fred B. Schneider - PDFSEARCH.IO - Document Search Engine

Fred B. Schneider
Results: 85

#	Item
51	IDENTITY MANAGEMENT SYSTEMS Federated Identity Management Systems: A Privacy-Based Characterization Eleanor Birrell and Fred B. Schneider \| Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-10-17 13:49:06 Computer security Security Security Assertion Markup Language OpenID Shibboleth Federated identity management Authentication Privacy-enhancing technologies PERMIS Identity management Federated identity Identity
52	Doctrine for Cybersecurity∗ Deirdre K. Mulligan† Fred B. Schneider‡ May 15, 2011 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-05-15 22:04:38 Hacking National security Computer network security Crime prevention Secure communication Federal Information Security Management Act Vulnerability National Cyber Security Division U.S. Department of Defense Strategy for Operating in Cyberspace Security Computer security Cyberwarfare
53	Towards Fault-Tolerant and Secure Agentry* Fred B. Schneider Department of Computer Science Cornell University Ithaca, New York[removed]USA Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 00:18:25 Parallel computing Cellular neural network
54	Distrib Comput[removed]:[removed]Springer-Verlag1992 Introduction Fred B. Schneider* Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-30 15:32:48 Data Information Databases Timestamp-based concurrency control Serializability Extensible Storage Engine Linearizability Lock SQL Transaction processing Data management Concurrency control
55	1 Using External Security Monitors to Secure BGP Patrick Reynolds, Oliver Kennedy, Emin G¨un Sirer, Fred B. Schneider {reynolds,okennedy,egs,fbs}@cs.cornell.edu Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2008-05-13 16:06:04 Routing protocols Internet protocols Internet standards Border Gateway Protocol Routing IP hijacking Router Route flapping Open Shortest Path First Network architecture Internet Computing
56	Inside Fred B. Schneider Toward Trustworthy Networked Information Systems hen today’s networked information systems Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-10 19:12:59 Social psychology Computer network security Software testing Accountability Reputation management Trust Vulnerability Trustworthy computing Ethics Security Computer security
57	A Role for Formal Methodists∗ Fred B. Schneider Department of Computer Science Cornell University Ithaca, New York[removed]November 11, 1993 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-16 15:33:00 Formal methods Formal sciences Logical syntax Philosophy of mathematics Mathematical logic Formal proof Model checking Formalism Mathematical proof Logic Mathematics Science
58	Constraints: A Uniform Approach to Aliasing and Typing Fred B. Schneider+ Cornell University Leslie Lamport * Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:13:38 Program logic Model theory Hoare logic Function Universal quantification Aliasing Interpretation Propositional calculus Independence Mathematical logic Mathematics Logic
59	Independence From Obfuscation: A Semantic Framework for Diversity Fred B. Schneider Cornell University Ithaca, NY[removed]USA [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 23:10:19 Data types Type theory Software bugs Primitive types Procedural programming languages Pointer Type safety Stack Variable Software engineering Computing Computer programming
60	IRM Enforcement of Java Stack Inspection∗ ´ Ulfar Erlingsson† Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:58:38 Cross-platform software Java virtual machine Java applet Java Stack Computing Software Java platform

UPDATE